Time-Based Separation for Aircraft Landing Using Danger Value Distribution Flow Model
نویسندگان
چکیده
منابع مشابه
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
We describe our experience with modeling the landing gear system of an aircraft using the formal speci cation language Fiacre. Our model takes into account the behavior and timing properties of both the physical parts and the control software of this system. We use this formal model to check safety and real-time properties on the system but also to nd a safe bound on the maximal time needed for...
متن کاملModels for Aircraft Landing Optimization
Due to an anticipated increase in air traffic during the next decade, air traffic control in busy airports is one of the main challenges confronting controllers in the near future. Since the runway is often a bottleneck in an airport system, there is great interest in optimizing usage of the runway. Our study first presents a brief review of the aircraft landing problem. A model for the problem...
متن کاملAircraft Approach Angle Estimation: Vision Based Landing
In the past decade, there have been great advancements in the application of computer vision to UAV's and associated aerial visual surveillance. For example, [6] demonstrated how a high precision ego-motion estimate of a camera can be incorporated to achieve video annotations and insertion to reference imagery. An algorithm for estimating the approach angle of an Unmanned Aerial Vehicle (UAV) i...
متن کاملAircraft landing problems with aircraft classes
This paper focuses on the aircraft landing problem that is to assign landing times to aircraft approaching the airport under consideration. Each aircraft’s landing time must be in a time interval encompassing a target landing time. If the actual landing time deviates from the target landing time additional costs occur which depend on the amount of earliness and lateness, respectively. The objec...
متن کاملReal Time Genetic Scheduling of Aircraft Landing Times
Evolutionary approaches are not usually considered for real time scheduling problems due to long computation times and uncertainty about the length of the computation time. We argue that for some kinds of problems, such as optimizing aircraft landing times, genetic algorithms have advantages over other methods as a best solution is always available when needed, and, since the computation is inh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Problems in Engineering
سال: 2012
ISSN: 1024-123X,1563-5147
DOI: 10.1155/2012/690268